EUCLIDE : automatic test data generation for critical C programs Constraint Programming Exploit relations (constraints) to infer new

Source URL: people.rennes.inria.fr

Towards the Automatic Generation of Card Games through Grammar-Guided Genetic Programming Jose M. Font Tobias Mahlmann

Source URL: www.fdg2013.org

Safe Parallel Programming in an Interpreted Language Chen Ding, Brian Gernhardt, Pengcheng Li Matthew Hertz Department of Computer Science

Source URL: polaris.cs.uiuc.edu

• Parallel computing
• Concurrent programming languages
• Functional languages
• MultiLisp
• Optimizing compiler
• Speculative
• Automatic parallelization

Better Tiling and Array Contraction for Compiling Scientific Programs ∗ Geoff Pike and Paul N. Hilfinger Computer Science Division University of California at Berkeley {pike,hilfinger}@cs.berkeley.edu

Source URL: titanium.cs.berkeley.edu

• Compiler optimizations
• Compiler construction
• Optimizing compiler
• Programming language implementation
• Foreach loop
• Aliasing
• Automatic parallelization
• GNU Compiler Collection
• Loop tiling

The Capacity of String-Replication Systems Farzad Farnoud (Hassanzadeh) Moshe Schwartz Jehoshua Bruck

Source URL: paradise.caltech.edu

• Mathematics
• Mathematical analysis
• Integer sequences
• Probability theory
• Automated theorem proving
• Logic programming
• Logical truth
• Substitution
• Automatic sequence

ARSENAL: Automatic Requirements Specification Extraction from Natural Language Shalini Ghosh1 , Daniel Elenius1 , Wenchao Li1 , Patrick Lincoln1 , Natarajan Shankar1 , Wilfried Steiner2 1

Source URL: arxiv.org

• Logic
• Abstraction
• Software
• Predicate logic
• Compiler construction
• Computational linguistics
• Natural language parsing
• Programming language implementation
• Parsing
• Natural language processing
• Dependency grammar
• Domain-specific language

B. Using the Automatic Search 1. Programming the remote to control other devices To use the remote control for your other devices, you will need to program the

Source URL: fiberforthefuture.com

Collecting Hollywood’s Garbage Avoiding Space-Leaks in Composite Events Tomáš Petříček Don Syme

Source URL: tomasp.net

• Software engineering
• Computing
• Software
• Computer programming
• Programming paradigms
• Evaluation strategy
• Automatic memory management
• Memory management
• Event
• JQuery
• Memory leak
• Garbage

Optimization Methods and Software Vol. 00, No. 00, Month 200x, 1–15 RESEARCH ARTICLE Automatic robust convex programming Johan L¨ofberg∗

Source URL: users.isy.liu.se

Version 4  Submitted ---, 2001 for Engineering Design Synthesis: Understanding, Approaches and Tools, edited by: Amaresh Chakrabarti. Automatic Synthesis of Both the Topology and Numerical Parameters for Complex Struc

Source URL: www.genetic-programming.com